Leivant, Daniel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Syntactic translations and provably recursive functions

Leivant, Daniel

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 537 KB

english, 1985

2

Assumption Classes in Natural Deduction

Journal:

Mathematical Logic Quarterly

Year:

1979

Language:

english

File:

PDF, 200 KB

english, 1979

3

[Studies in Logic and the Foundations of Mathematics] Harvey Friedman's Research on the Foundations of Mathematics Volume 117 || Intuitionistic formal systems

Leivant, Daniel

Year:

1985

Language:

english

File:

PDF, 1.05 MB

english, 1985

4

[Lecture Notes in Computer Science] Logic and Computational Complexity Volume 960 || Strict finitism and feasibility

Leivant, Daniel

Year:

1995

Language:

english

File:

PDF, 1.14 MB

english, 1995

5

Markov's Rule revisited

Journal:

Archive for Mathematical Logic

Year:

1990

Language:

english

File:

PDF, 140 KB

english, 1990

6

[Lecture Notes in Computer Science] Logic and Computational Complexity Volume 960 || On feasible numbers

Leivant, Daniel

Year:

1995

Language:

english

File:

PDF, 1.33 MB

english, 1995

7

Innocuous Substitutions

Journal:

Journal of Symbolic Logic

Year:

1980

Language:

english

File:

PDF, 174 KB

english, 1980

8

Stratified polymorphism and primitive recursion

DANNER, NORMAN, LEIVANT, DANIEL

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 248 KB

english, 1999

9

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 4576 ||

Leivant, Daniel, de Queiroz, Ruy

Year:

2007

Language:

english

File:

PDF, 6.78 MB

english, 2007

10

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 4576 || Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus

Leivant, Daniel, de Queiroz, Ruy

Year:

2007

Language:

english

File:

PDF, 350 KB

english, 2007

11

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 9160 || Parametric Polymorphism — Universally

de Paiva, Valeria, de Queiroz, Ruy, Moss, Lawrence S., Leivant, Daniel, de Oliveira, Anjolina G.

Year:

2015

Language:

english

File:

PDF, 333 KB

english, 2015

12

Logic, language, information and computation

Daniel Leivant, Ruy de Queiroz

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 65 KB

english, 2010

13

The optimality of induction as an axiomatization of arithmetic

Leivant, Daniel

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 283 KB

english, 1983

14

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Stratified functional programs and computational complexity

Leivant, Daniel

Year:

1993

Language:

english

File:

PDF, 914 KB

english, 1993

15

A characterization of alternating log time by ramified recurrence

Daniel Leivant, Jean-Yves Marion

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 138 KB

english, 2000

16

Inductive definitions over finite structures

Journal:

Information and Computation

Year:

1990

Language:

english

File:

PDF, 732 KB

english, 1990

17

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - The complexity of parameter passing in polymorphic procedures

Leivant, Daniel

Year:

1981

Language:

english

File:

PDF, 514 KB

english, 1981

18

22nd Workshop on Logic, Language, Information and Computation ( WoLLIC 2015 )

Paiva, Valeria de, Moss, Larry, Leivant, Daniel, Queiroz, Ruy de

Journal:

Logic Journal of IGPL

Year:

2016

Language:

english

File:

PDF, 96 KB

english, 2016

19

Descriptive characterizations of computational complexity

Journal:

Journal of Computer and System Sciences

Year:

1989

Language:

english

File:

PDF, 2.20 MB

english, 1989

20

Meager and replete failures of relative completeness

Leivant, Daniel, Fernando, Tim

Journal:

Journal of the ACM

Year:

1988

Language:

english

File:

PDF, 799 KB

english, 1988

21

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 4576 || A Sketch of a Dynamic Epistemic Semiring

Leivant, Daniel, de Queiroz, Ruy

Year:

2007

Language:

english

File:

PDF, 175 KB

english, 2007

22

14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007)

Leivant, Daniel, de Queroz, Ruy J. G. B.

Journal:

Bulletin of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 52 KB

english, 2008

23

Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 253 KB

english, 2004

24

[ACM Press the 10th ACM SIGACT-SIGPLAN symposium - Austin, Texas (1983.01.24-1983.01.26)] Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 - Structural semantics for polymorphic data types (preliminary report)

Leivant, Daniel

Year:

1983

Language:

english

File:

PDF, 770 KB

english, 1983

25

PREFACE

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 61 KB

english, 1998

26

Intrinsic reasoning about functional programs I: first order theories

Journal:

Annals of Pure and Applied Logic

Year:

2002

Language:

english

File:

PDF, 259 KB

english, 2002

27

[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Discrete polymorphism

Leivant, Daniel

Year:

1990

Language:

english

File:

PDF, 1.05 MB

english, 1990

28

PREFACE

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 98 KB

english, 1998

29

Implicational complexity in intuitionistic arithmetic

Leivant, Daniel

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 610 KB

english, 1981

30

Unprovability of theorems of complexity theory in weak number theories

Journal:

Theoretical Computer Science

Year:

1982

Language:

english

File:

PDF, 1.15 MB

english, 1982

31

Inductive Completeness of Logics of Programs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 265 KB

english, 2009

32

Finitely stratified polymorphism

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.01 MB

english, 1991

33

Guest editorial

Anuj Dawar, Daniel Leivant

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 49 KB

english, 2003

34

WITHDRAWN: Termination proofs and complexity certification (extended abstract)

Leivant, Daniel

Journal:

Theoretical Computer Science

Year:

2003

File:

PDF, 10 KB

2003

35

The Expressiveness of Simple and Second-Order Type Structures

Fortune, Steven, Leivant, Daniel, O'Donnell, Michael

Journal:

Journal of the ACM

Year:

1983

Language:

english

File:

PDF, 1.92 MB

english, 1983

36

On the proof theory of the modal logic for arithmetic provability

Leivant, Daniel

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 543 KB

english, 1981

37

Typing and computational properties of lambda expressions

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 1.03 MB

english, 1986

38

Feasible functionals and intersection of ramified types

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

39

Editorial

Leivant, Daniel, Constable, Bob

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 53 KB

english, 2001

40

Ramified recurrence and computational complexity III: Higher type recurrence and elementary complexity

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 1.49 MB

english, 1999

41

Functions over free algebras definable in the simply typed lambda calculus

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 805 KB

english, 1993

42

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 4576 || Modules over Monads and Linearity

Leivant, Daniel, de Queiroz, Ruy

Year:

2007

Language:

english

File:

PDF, 319 KB

english, 2007

43

Primitive recursion in the abstract

Leivant, Daniel, Marion, Jean-Yves

Journal:

Mathematical Structures in Computer Science

Year:

2020

Language:

english

File:

PDF, 222 KB

english, 2020

44

[Lecture Notes in Computer Science] Logic and Computational Complexity Volume 960 || Computation models and function algebras

Leivant, Daniel

Year:

1995

Language:

english

File:

PDF, 1.58 MB

english, 1995

45

[Lecture Notes in Computer Science] Logic and Computational Complexity Volume 960 || Light linear logic

Leivant, Daniel

Year:

1995

Language:

english

File:

PDF, 1.51 MB

english, 1995

46

[IEEE 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Tucson, AZ, USA (1983.11.7-1983.11.9)] 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Reasoning about functional programs and complexity classes associated with type disciplines

Leivant, Daniel

Year:

1983

Language:

english

File:

PDF, 1.38 MB

english, 1983

47

[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Logical and mathematical reasoning about imperative programs

Leivant, Daniel

Year:

1985

Language:

english

File:

PDF, 805 KB

english, 1985

48

Ramified Corecurrence and Logspace

Ramyaa Ramyaa, Daniel Leivant

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 238 KB

english, 2011

49

Propositional Dynamic Logic with Program Quantifiers

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

50

[ACM Press the 10th ACM SIGACT-SIGPLAN symposium - Austin, Texas (1983.01.24-1983.01.26)] Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 - Polymorphic type inference

Leivant, Daniel

Year:

1983

Language:

english

File:

PDF, 988 KB

english, 1983

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски